STM: bool-inhabited

STM: decidable-exists-finite

STM: decidable ex unit

STM: ite-same

STM: es-Msg-subtype1

STM: es-sends1